daf66166d06f64eac6d58e60b72e905f89869b75,src/org/uecide/Preferences.java,Preferences,getFont,#String#,777

Before Change


    public static Font getFont(String key) {
        String data = get(key);
        if (data == null || data.equals("")) {
            return Base.preferences.stringToFont("Monospaced,plain,12");
        }
        return Base.preferences.stringToFont(data);
    }

After Change


        String data = get(key);
        Font font = null;
        if (data == null || data.equals("")) {
            font = Base.preferences.stringToFont("Monospaced,plain,12");
        } else {
            font = Base.preferences.stringToFont(data);
        }
        float size = font.getSize();
        int scale = getInteger("theme.fonts.scale");
        if (scale == 0) {
            scale = 100;